翻訳と辞書
Words near each other
・ Corectopia
・ Corecursion
・ Coredo
・ Coredump Records
・ Coree
・ Coree, New South Wales
・ Coreeda
・ Coreen
・ Coreen & District Football League
・ Coreen Simpson
・ Coreena Formation
・ CoreExpress
・ Coreference
・ CoreFiling
・ CoreFirst Bank & Trust
Coreflexive relation
・ Coreflood
・ Coregency
・ Coregency Stela
・ Coreglia Antelminelli
・ Coreglia Ligure
・ Coregonus
・ Coregonus albellus
・ Coregonus albula
・ Coregonus alpinus
・ Coregonus anaulorum
・ Coregonus arenicolus
・ Coregonus artedi
・ Coregonus baicalensis
・ Coregonus bavaricus


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Coreflexive relation : ウィキペディア英語版
Coreflexive relation
In mathematics, a coreflexive relation is a binary relation that is a subset of the identity relation.〔Fonseca de Oliveira, J. N., & Pereira Cunha Rodrigues, C. D. J. (2004). Transposing Relations: From Maybe Functions to Hash Tables. In Mathematics of Program Construction (p. 337).〕 Thus if ''a'' is related to ''b'' (''aRb'') then ''a'' is equal to ''b'' (''a = b''), but if ''c'' is equal to ''d'' (''c = d'') it does not necessarily hold that ''c'' is related to ''d'' (''cRd'').
In mathematical notation, this is:
:\forall a, b \in X,\ a R b \Rightarrow \; a = b.
The identity relation is coreflexive by definition. Any relation that is coreflexive is thus a subset of the identity relation.
For example, consider the relation ''R'' as "equal to and odd". Over the set of positive integers, the relationship ''R'' holds over the pairs but does not hold over .
==Notes==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Coreflexive relation」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.